Network Information Flow
نویسنده
چکیده
A formal model for an analysis of an information flow in interconnection networks is presented. It is based on timed process algebra which can express also network properties. The information flow is based on a concept of deducibility on composition. Robustness of systems against network timing attacks is defined. A variety of different security properties which reflect different security requirements are defined and investigated.
منابع مشابه
Reliable Flow Control Coding in Low-Buffer Grid Networks
We consider a grid network where nodes contain small buffers. A packet that faces a crowded buffer in its route will get extra latency and may be dropped. In this paper, we propose a novel flow control protocol called RFCC for grid networks. RFCC tries to reroute delayed packets and utilizes network coding to introduce a configurable amount of redundant information in the network, thereby incre...
متن کاملReliable Flow Control Coding in Low-Buffer Grid Networks
We consider a grid network where nodes contain small buffers. A packet that faces a crowded buffer in its route will get extra latency and may be dropped. In this paper, we propose a novel flow control protocol called RFCC for grid networks. RFCC tries to reroute delayed packets and utilizes network coding to introduce a configurable amount of redundant information in the network, thereby incre...
متن کاملGas Flow Metering Using the PSO Optimized Interval Type- 2 Fuzzy Neural Network
Orifice flow meter is one of the most common devices in industry which is used for measuring the gas flow. This system includes an orifice plate, temperature and pressure transmitters, and a flow computer. The flow computer is used for collecting information related to temperature, pressure, and their differences under various conditions. Also the flow computer can calculate the flow rate of ga...
متن کاملVISUALIZATION OF KNOWLEDGE FLOW IN INTERPERSONAL SCIENTIFIC COLLABORATION NETWORK ENDOCRINOLOGY AND METABOLISM RESEARCH INSTITUTE
Background: A key aspect of Scientific collaboration increases scientific productivity. This study aimed to draw up a scientific collaboration network of the Endocrinology and Metabolism Research Institute (EMRI) at Tehran University of Medical Sciences. Methods: A Descriptive Cross-Sectional Study was conducted by the Scientometrics method. Data collection from the Scopus and Web of Science C...
متن کاملLocating, Sizing, and Optimal Planning of the Distribution Substations Using Vanadium Flow Battery Storage to Improve the Efficiency of the Power Distribution Network
In power grids, there must always be a balance between energy production and consumption. Due to the variable nature of consumers, energy production should also be subject to these changes. Electricity storage is one of the most important issues in the electricity industry, which can generate many ancillary services such as load curve leveling, peak shaving, integration with renewable units, ro...
متن کاملOn The Fractional Minimal Cost Flow Problem of a Belief Degree Based Uncertain Network
A fractional minimal cost flow problem under linear type belief degree based uncertainty is studied for the first time. This type of uncertainty is useful when no historical information of an uncertain event is available. The problem is crisped using an uncertain chance-constrained programming approach and its non-linear objective function is linearized by a variable changing approach. An illus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fundam. Inform.
دوره 72 شماره
صفحات -
تاریخ انتشار 2006